num-opt :: Option<Number> = some(1).and-then(lam(x :: Number): x + 1 end)